Towards an Axiomatization of Simple Analog Algorithms

International audienceWe propose a formalization of analog algorithms, extending the framework of abstract state machines to continuous-time models of computation

On the completeness of quantum computation models

The notion of computability is stable (i.e. independent of the choice of an indexing) over infinite-dimensional vector spaces provided they have a finite "tensorial dimension". Such vector spaces with a finite tensorial dimension permit to define an absolute notion of completeness for quantum computation models and give a precise meaning to the Church-Turing thesis in the framework of quantum theory. (Extra keywords: quantum programming languages, denotational semantics, universality.)Comment: 15 pages, LaTe

Percentile Queries in Multi-Dimensional Markov Decision Processes

Markov decision processes (MDPs) with multi-dimensional weights are useful to analyze systems with multiple objectives that may be conflicting and require the analysis of trade-offs. We study the complexity of percentile queries in such MDPs and give algorithms to synthesize strategies that enforce such constraints. Given a multi-dimensional weighted MDP and a quantitative payoff function $f$, thresholds $v_i$ (one per dimension), and probability thresholds $\alpha_i$, we show how to compute a single strategy to enforce that for all dimensions $i$, the probability of outcomes $\rho$ satisfying $f_i(\rho) \geq v_i$ is at least $\alpha_i$. We consider classical quantitative payoffs from the literature (sup, inf, lim sup, lim inf, mean-payoff, truncated sum, discounted sum). Our work extends to the quantitative case the multi-objective model checking problem studied by Etessami et al. in unweighted MDPs.Comment: Extended version of CAV 2015 pape

Fractal ventilation enhances respiratory sinus arrhythmia

BACKGROUND: Programming a mechanical ventilator with a biologically variable or fractal breathing pattern (an example of 1/f noise) improves gas exchange and respiratory mechanics. Here we show that fractal ventilation increases respiratory sinus arrhythmia (RSA) – a mechanism known to improve ventilation/perfusion matching. METHODS: Pigs were anaesthetised with propofol/ketamine, paralysed with doxacurium, and ventilated in either control mode (CV) or in fractal mode (FV) at baseline and then following infusion of oleic acid to result in lung injury. RESULTS: Mean RSA and mean positive RSA were nearly double with FV, both at baseline and following oleic acid. At baseline, mean RSA = 18.6 msec with CV and 36.8 msec with FV (n = 10; p = 0.043); post oleic acid, mean RSA = 11.1 msec with CV and 21.8 msec with FV (n = 9, p = 0.028); at baseline, mean positive RSA = 20.8 msec with CV and 38.1 msec with FV (p = 0.047); post oleic acid, mean positive RSA = 13.2 msec with CV and 24.4 msec with FV (p = 0.026). Heart rate variability was also greater with FV. At baseline the coefficient of variation for heart rate was 2.2% during CV and 4.0% during FV. Following oleic acid the variation was 2.1 vs. 5.6% respectively. CONCLUSION: These findings suggest FV enhances physiological entrainment between respiratory, brain stem and cardiac nonlinear oscillators, further supporting the concept that RSA itself reflects cardiorespiratory interaction. In addition, these results provide another mechanism whereby FV may be superior to conventional CV

Brains swinging in concert: cortical phase synchronization while playing guitar

<p>Abstract</p> <p>Background</p> <p>Brains interact with the world through actions that are implemented by sensory and motor processes. A substantial part of these interactions consists in synchronized goal-directed actions involving two or more individuals. Hyperscanning techniques for assessing fMRI simultaneously from two individuals have been developed. However, EEG recordings that permit the assessment of synchronized neuronal activities at much higher levels of temporal resolution have not yet been simultaneously assessed in multiple individuals and analyzed in the time-frequency domain. In this study, we simultaneously recorded EEG from the brains of each of eight pairs of guitarists playing a short melody together to explore the extent and the functional significance of synchronized cortical activity in the course of interpersonally coordinated actions.</p> <p>Results</p> <p>By applying synchronization algorithms to intra- and interbrain analyses, we found that phase synchronization both within and between brains increased significantly during the periods of (i) preparatory metronome tempo setting and (ii) coordinated play onset. Phase alignment extracted from within-brain dynamics was related to behavioral play onset asynchrony between guitarists.</p> <p>Conclusion</p> <p>Our findings show that interpersonally coordinated actions are preceded and accompanied by between-brain oscillatory couplings. Presumably, these couplings reflect similarities in the temporal properties of the individuals' percepts and actions. Whether between-brain oscillatory couplings play a causal role in initiating and maintaining interpersonal action coordination needs to be clarified by further research.</p

GOALS-JWST: Unveiling Dusty Compact Sources in the Merging Galaxy IIZw096

We have used the Mid-InfraRed Instrument (MIRI) on the James Webb Space Telescope (JWST) to obtain the first spatially resolved, mid-infrared images of IIZw096, a merging luminous infrared galaxy (LIRG) at z = 0.036. Previous observations with the Spitzer Space Telescope suggested that the vast majority of the total IR luminosity (L IR) of the system originated from a small region outside of the two merging nuclei. New observations with JWST/MIRI now allow an accurate measurement of the location and luminosity density of the source that is responsible for the bulk of the IR emission. We estimate that 40%-70% of the IR bolometric luminosity, or 3-5 7 1011 L ⊙, arises from a source no larger than 175 pc in radius, suggesting a luminosity density of at least 3-5 7 1012 L ⊙ kpc−2. In addition, we detect 11 other star-forming sources, five of which were previously unknown. The MIRI F1500W/F560W colors of most of these sources, including the source responsible for the bulk of the far-IR emission, are much redder than the nuclei of local LIRGs. These observations reveal the power of JWST to disentangle the complex regions at the hearts of merging, dusty galaxies

GOALS-JWST: NIRCam and MIRI Imaging of the Circumnuclear Starburst Ring in NGC 7469

We present James Webb Space Telescope (JWST) imaging of NGC 7469 with the Near-Infrared Camera and the Mid-InfraRed Instrument. NGC 7469 is a nearby, z = 0.01627, luminous infrared galaxy that hosts both a Seyfert Type-1.5 nucleus and a circumnuclear starburst ring with a radius of ∼0.5 kpc. The new near-infrared (NIR) JWST imaging reveals 66 star-forming regions, 37 of which were not detected by Hubble Space Telescope (HST) observations. Twenty-eight of the 37 sources have very red NIR colors that indicate obscurations up to A v ∼ 7 and a contribution of at least 25% from hot dust emission to the 4.4 μm band. Their NIR colors are also consistent with young (&lt;5 Myr) stellar populations and more than half of them are coincident with the mid-infrared (MIR) emission peaks. These younger, dusty star-forming regions account for ∼6% and ∼17% of the total 1.5 and 4.4 μm luminosity of the starburst ring, respectively. Thanks to JWST, we find a significant number of young dusty sources that were previously unseen due to dust extinction. The newly identified 28 young sources are a significant increase compared to the number of HST-detected young sources (4-5). This makes the total percentage of the young population rise from ∼15% to 48%. These results illustrate the effectiveness of JWST in identifying and characterizing previously hidden star formation in the densest star-forming environments around active galactic nuclei (AGN)

GOALS-JWST: Mid-infrared Spectroscopy of the Nucleus of NGC 7469

We present mid-infrared spectroscopic observations of the nucleus of the nearby Seyfert galaxy NGC 7469 taken with the MIRI instrument on the James Webb Space Telescope (JWST) as part of Directors Discretionary Time Early Release Science program 1328. The high-resolution nuclear spectrum contains 19 emission lines covering a wide range of ionization. The high-ionization lines show broad, blueshifted emission reaching velocities up to 1700 km s−1 and FWHM ranging from ∼500 to 1100 km s−1. The width of the broad emission and the broad-to-narrow line flux ratios correlate with ionization potential. The results suggest a decelerating, stratified, AGN-driven outflow emerging from the nucleus. The estimated mass outflow rate is 1-2 orders of magnitude larger than the current black hole accretion rate needed to power the AGN. Eight pure rotational H2 emission lines are detected with intrinsic widths ranging from FWHM ∼125 to 330 km s−1. We estimate a total mass of warm H2 gas of ∼1.2 7 107 M ⊙ in the central 100 pc. The PAH features are extremely weak in the nuclear spectrum, but a 6.2 μm PAH feature with an equivalent width of ∼0.07 μm and a flux of 2.7 7 10−17 W m−2 is detected. The spectrum is steeply rising in the mid-infrared, with a silicate strength of ∼0.02, significantly smaller than seen in most PG QSOs but comparable to other Seyfert 1s. These early MIRI mid-infrared IFU data highlight the power of JWST to probe the multiphase interstellar media surrounding actively accreting supermassive black holes

GOALS-JWST: Hidden Star Formation and Extended PAH Emission in the Luminous Infrared Galaxy VV 114

James Webb Space Telescope (JWST) Mid-Infrared Instrument (MIRI) images of the luminous infrared (IR) galaxy VV 114 are presented. This redshift ∼0.020 merger has a western component (VV 114W) rich in optical star clusters and an eastern component (VV 114E) hosting a luminous mid-IR nucleus hidden at UV and optical wavelengths by dust lanes. With MIRI, the VV 114E nucleus resolves primarily into bright NE and SW cores separated by 630 pc. This nucleus comprises 45% of the 15 μm light of VV 114, with the NE and SW cores having IR luminosities, L IR(8 − 1000 μm) ∼ 8 \ub1 0.8 7 1010 L ⊙ and ∼ 5 \ub1 0.5 7 1010 L ⊙, respectively, and IR densities, ΣIR ≳ 2 \ub1 0.2 7 1013 L ⊙ kpc−2 and ≳ 7 \ub1 0.7 7 1012 L ⊙ kpc−2, respectively—in the range of ΣIR for the Orion star-forming core and the nuclei of Arp 220. The NE core, previously speculated to have an active galactic nucleus (AGN), has starburst-like mid-IR colors. In contrast, the VV 114E SW core has AGN-like colors. Approximately 40 star-forming knots with L IR ∼ 0.02-5 7 1010 L ⊙ are identified, 28% of which have no optical counterpart. Finally, diffuse emission accounts for 40%-60% of the mid-IR emission. Mostly notably, filamentary polycyclic aromatic hydrocarbon (PAH) emission stochastically excited by UV and optical photons accounts for half of the 7.7 μm light of VV 114. This study illustrates the ability of JWST to detect obscured compact activity and distributed PAH emission in the most extreme starburst galaxies in the local universe

GOALS-JWST: Tracing AGN Feedback on the Star-forming Interstellar Medium in NGC 7469

We present James Webb Space Telescope (JWST) Mid-Infrared Instrument (MIRI) integral-field spectroscopy of the nearby merging, luminous infrared galaxy, NGC 7469. This galaxy hosts a Seyfert type-1.5 nucleus, a highly ionized outflow, and a bright, circumnuclear star-forming ring, making it an ideal target to study active galactic nucleus (AGN) feedback in the local universe. We take advantage of the high spatial/spectral resolution of JWST/ MIRI to isolate the star-forming regions surrounding the central active nucleus and study the properties of the dust and warm molecular gas on ∼100 pc scales. The starburst ring exhibits prominent polycyclic aromatic hydrocarbon (PAH) emission, with grain sizes and ionization states varying by only ∼30%, and a total star formation rate of 10–30 Me yr−1 derived from fine structure and recombination emission lines. Using pure rotational lines of H2 we detect 1.2 7 107 Me of warm molecular gas at a temperature higher than 200 K in the ring. All PAH bands get significantly weaker toward the central source, where larger and possibly more ionized grains dominate the emission, likely the result of the ionizing radiation and/or the fast wind emerging from the AGN. The small grains and warm molecular gas in the bright regions of the ring however display properties consistent with normal star-forming regions. These observations highlight the power of JWST to probe the inner regions of dusty, rapidly evolving galaxies for signatures of feedback and inform models that seek to explain the coevolution of supermassive black holes and their hosts